@andrewthad The laws test suite is failing. No rush on fixing this.

I've fixed all the Ord instances. It's strange that this had not been detected before now. It's uncommon to use the Ord instance for a Maybe-like type, so I doubt it was encountered by any applications. Anyway, good to have it fixed now.

I've fixed all the Ord instances. It's strange that this had not been detected before now. It's uncommon to use the Ord instance for a Maybe-like type, so I doubt it was encountered by any applications. Anyway, good to have it fixed now.

pretty crazy. i remember copying these from the much older version of this library.

glad it's fixed now! i should have added these tests before.

What's strange is that the test for the Ord laws were already there. Either no one had ever noticed that the test suite was failing, or maybe something in quickcheck-classes or QuickCheck changed that caused this to start getting detected. I'll chalk it up to one of history's mysteries.